Requirements Definition, Validation, Verification and Evalation of the CLIME Interface and Language Processing Technology
نویسنده
چکیده
This document provides an overview of the requirements analysis, validation/verification and evaluation activities which were carried out during the construction of the MILE system. MILE stands for Maritime Information and Legal Explanation. The MILE system is an application of the generic CLIME architecture, where CLIME stands for Computerized Legal Information Management and Explanation. Both CLIME and MILE were developed as part of the CLIME project. CLIME was funded by the European Commission ESPRIT programme, project number EP 25.414. The partners in the project were British Maritime Technology Ltd., Bureau Veritas, TxT E-Solutions SPA, the University of Amsterdam and the Information Technology Research Institute (ITRI) of the University of Brighton. The project ran for three years (1998 2001). The focus of this paper is on those aspects of the development of MILE system which involved the natural language processing components and the user interface technology. Both of these were conceived and implemented at the ITRI in Brighton.
منابع مشابه
ITRI-02-03 Requirements Definition, Validation, Verification and Evaluation of the CLIME Interface and Language Processing Technology
متن کامل
Requirements Engineering Model in Designing Complex Systems
This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...
متن کاملRequirements Engineering Model in Designing Complex Systems
This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002